📏 Linear Logic

Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

Feeds to Scour
SubscribedAll
Scoured 77875 posts in 1.17 s
weitianxin/Awesome-Agentic-Reasoning
github.com·42m
🤖Abstract Machines
Preview
Report Post
Functional Logic Program Transformations
arxiv.org·1d
🏭Functional Compilers
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
✨Gleam
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·1d
🪞Homoiconicity
Preview
Report Post
Concurrent Permissive Strategy Templates
arxiv.org·1d
🔀Control Structures
Preview
Report Post
Planning Poker Integration for Linear 🃏
dev.to·5h·
Discuss: DEV
📏Linear Scanning
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·17h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·19h·
Discuss: Hacker News
🌉Cross-Platform FFI
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·21h
🛡️Taint Analysis
Preview
Report Post
Constraints Not Loops: Building Features in Reverse
coey.dev·1d
🔗Parser Combinators
Preview
Report Post
In Praise of APL (1977)
jsoftware.com·51m·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔢Binary Formats
Preview
Report Post
Amazon shopping automation without vision: verification gate+local model (3B)
news.ycombinator.com·18h·
Discuss: Hacker News
🏰Capability Machines
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·10h
🔗Memory Linearization
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
That boolean should probably be something else
ntietz.com·1d
✅Type Checking
Preview
Report Post
Logs Are Not Enough
hashrocket.substack.com·16h·
Discuss: r/programming
📊Log Parsers
Preview
Report Post
Heaps do lie: debugging a memory leak in vLLM.
mistral.ai·18h·
Discuss: Hacker News
📊Memory Profilers
Preview
Report Post
The lost art of XML
marcosmagueta.com·1d·
Discuss: Lobsters, Hacker News
📦Serialization
Preview
Report Post
DELTA-X: An Invariant, Auditable Reasoning Framework for Humans and AI
osf.io·1d·
Discuss: DEV
🧩Constraint Logic
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help